Add version info about the deprecation of GTK_WIDGET_SENSITIVE

This completes the patch of
commit 64f526d34e1adc609944078e2fea38b2792f8230

diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h
index 31b2b6aaa8905e1d17e19a83b5eb62754e72cf0c..c766bdea23843be3dd6861d92a4c94a7328b4cbc 100644 (file)
--- a/gtk/gtkwidget.h
+++ b/gtk/gtkwidget.h
@@ -271,6 +271,8 @@ typedef enum
  * @wid: a #GtkWidget.
  *
  * Evaluates to %TRUE if the #GTK_SENSITIVE flag has be set on the widget.
+ *
+ * Deprecated: 2.20: Use gtk_widget_get_sensitive() instead.
  */
 #define GTK_WIDGET_SENSITIVE(wid)        ((GTK_WIDGET_FLAGS (wid) & GTK_SENSITIVE) != 0)
 #endif